Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
671	Annales Mathematicae et Informaticae[removed]pp. 9–21 http://ami.ektf.hu Cube-and-Conquer approach for SAT solving on grids∗ Add to Reading List Source URL: ami.ektf.hu Language: English - Date: 2013-12-20 13:48:28 Constraint programming Boolean algebra Automated theorem proving Logic in computer science NP-complete problems Boolean satisfiability problem DPLL algorithm Satz Solver Theoretical computer science Applied mathematics Mathematics
672	Andr´ e Platzer Last updated: July 6, 2013 Contact Information Add to Reading List Source URL: symbolaris.com Language: English - Date: 2013-09-18 18:27:49 Mathematics Logic in computer science Formal methods Formal verification Model checking Magnus Egerstedt KeY Edmund M. Clarke Lecture Notes in Computer Science Theoretical computer science Applied mathematics Automated theorem proving
673	A Proof Procedure Using Connection Graphs ROBERT K O W A L S K I University of Edinburgh, Edinburgh, Scotland ABSTRACT. Various deficiencies of resolution systems are investigated and a new theorem-proving system designe Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:52:43 Mathematical logic Rules of inference Resolution Logic programming Unit propagation Logic in computer science SL Cons First-order logic Theoretical computer science Mathematics Automated theorem proving
674	ARTICLES THE EARLY YEARS OF LOGIC PROGRAMMING This firsthand recollection of those early days of logic programming traces the shared influences and inspirations that connected Edinburgh, Scotland, Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:57:10 Automated theorem proving Year of birth missing Logic in computer science Logic programming Prolog Planner Keith Clark Model elimination Logic Software engineering Computing Computer programming
675	INTEGRITY CHECKING IN DEDUCTIVE DATABASES Robert Kowalski Fariba Sadri Paul Soper Departmentof Computing ImperialCollegeof ScienceandTechnology 180Queen’sGate Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:54:17 Automated theorem proving Logic programming Rules of inference Logic in computer science Resolution Prolog Horn clause Clause Function Mathematics Mathematical logic Theoretical computer science
676	Theory and Practice of Logic Programming http://journals.cambridge.org/TLP Additional services for Theory and Practice of Logic Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-03-06 12:46:38 Logic in computer science Programming paradigms Automated theorem proving Type theory Proof theory ΛProlog Logic programming Prolog Logic Software engineering Theoretical computer science Mathematical logic
677	i i “p01c04˙cds” — [removed] — 10:12 — page 131 — #1 i Add to Reading List Source URL: gauss.ececs.uc.edu Language: English - Date: 2011-07-05 08:44:49 Mathematical logic Mathematics Boolean satisfiability problem DPLL algorithm Clause Resolution Conjunctive normal form Local consistency Unit propagation Theoretical computer science Constraint programming Automated theorem proving
678	Dale Miller Curriculum Vitae INRIA Saclay - ˆIle-de-France & Laboratoire d’Informatique, LIX 1 rue Honor´e d’Estienne d’Orves LIX, Bˆatiment Alan Turing ´ Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-06-03 09:06:46 Logic in computer science Automated theorem proving Dependently typed programming Type theory Formal sciences Federated Logic Conference Logic programming Workshop on Logic Language Information and Computation Theorem Proving in Higher-Order Logics Theoretical computer science Computer science Mathematics
679	Expanded Final Report Decomposing digital-system specifications into interacting sequential processes Grant Number: MIP[removed], [removed]–[removed]Principal Investigator: Steven D. Johnson Computer Science Department In Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2001-09-19 16:36:05 Science Logic in computer science Automated theorem proving Reasoning Formal verification Computer science Reasoning system Hardware description language Communications protocol Formal methods Artificial intelligence Theoretical computer science
680	227 ARTIFICIAL INTELLIGENCE Linear Resolution with Selection Function Robert Kowalski and Donald Kuehnm Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-12-18 06:42:49 Automated theorem proving Rules of inference Resolution Logic programming Propositional calculus First-order logic Derivation SLD resolution SL Logic Mathematical logic Theoretical computer science